| Model: | embedded v.1 (CTMC) |
| Parameter(s) | MAX_COUNT = 8, T = 12 |
| Property: | actuators (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m embedded.prism -p embedded.props --property actuators --const MAX_COUNT=8,T=12
| Walltime: | 37.3504204750061s |
| Return code: | 0 |
| Relative Error: | 0.0004135023285169665 |
0.1053471991